Compiling assembly code with gcc for STM32